What is an error correction procedure